Why on-chip cache coherence is here to stay

hpv is here to stay.

Is rotational atherectomy here to stay?

Rotational atherectomy was developed to ablate selectively inelastic atherosclerotic plaque, while deflecting normal arterial wall away from the rotating burr. Intravascular ultrasound (IVUS) studies have confirmed that rotablation differentially removes even hard, calcified plaque without damaging normal arterial wall. Early in clinical experience, the ability to ablate previously undilatable ...

Covert Channels | Here to Stay? Covert Channels | Here to Stay?

We discuss the di culties of satisfying high-assurance system requirements without sacri cing system capabilities. To alleviate this problem, we show how trade-o s can be made to reduce the threat of covert channels. We also clarify certain concepts in the theory of covert channels. Traditionally, a covert channel's vulnerability was measured by the capacity. We show why a capacity analysis alo...

On-Chip Cache Coherence and Real-Time Systems

In the Communications of the ACM article entitled ”Why On-Chip Cache Coherence Is Here to Stay”, Martin et al. argue that on-chip cache coherence can scale for the foreseeable future, with only modest impact on performance, even for very large systems. Unfortunately, a number of the authors’ arguments apply only to real-fast systems. Although some might argue that real-time response is importan...

The Verification of the On-Chip COMA Cache Coherence Protocol

This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microthreaded architecture, a multi-core architecture capable of integrating hundreds to hundreds of thousands of processors on single silicon chip. We use the Abstract State Machine (ASM) as a theoretical framework for the specification of the on-chip COMA cache coherence protocol....